axiomatic specification
[计] 公理说明，公理描述
热门查询
- DSS abbr. 决策支持系统（Decision Support Systems）；社会保险部（Department of Social Security）；社会学博士（Doctor of Social Sciences）
- presto n. 急板；急板之乐曲或乐章 adv. 赶快 adj. 迅速的 int. 转眼间 n. (Presto)人名；(意)普雷斯托
- immunocompetent adj. 免疫活性的
- exploratory adj. 勘探的；探究的；考察的
- metaphorically adv. 隐喻地；用比喻
- Kath abbr. katholisch (German=Catholic) （德语）天主教
- stalemated v. 胶著（stalemate的过去式和过去分词）
- header n. 头球；页眉；数据头；收割台
- overburden vt. 使负担过重；使过劳 n. 表土（等于burden，capping）；过重的负担
- confrontational adj. 对抗的；对抗性的
- bout n. 回合；较量；发作；一阵 n. (Bout)人名；(法)布特
- idly adv. 无所事事地；懒惰地，空闲地；无益地
- serenely adv. 安详地；沉着地；宁静地
- supplant vt. 代替；排挤掉
- stook n. 稻堆 v. 整理成堆，堆禾束
- carburetor n. 汽化器；化油器
- reviewed v. 复习；评估；评论；检讨（review的过去分词形式）
- Moffat [人名] 莫法特; [地名] [英国、美国] 莫弗特
- shy n. 投掷；惊跳 adj. 害羞的；畏缩的，胆怯的 vi. 投；畏缩；惊退；厌恶 vt. 投；乱掷 n. (Shy)人名；(英)夏伊
- inanely adv. 空洞地；愚蠢地
